type Reader r a = r -> a